The Logic of Software. A Tastin...
Paperback
Published 16 Jun 2022
Save $2.76
- RRP $109.36
- $106.60
Search for "Bernhard Beckert"
11 results
-
$2.76off
-
$2.49off
Automated Reasoning With Analyt...
Paperback
Published 05 Sep 2005Save $2.49
- RRP $61.51
- $59.02
-
$8.00off
Formal Verification of Object-O...
Paperback
Published 14 Jan 2011Save $8.00
- RRP $61.51
- $53.51
-
$7.93off
Tests and Proofs Programming an...
Paperback
Published 31 Mar 2008Save $7.93
- RRP $61.51
- $53.58
-
$5.82off
Formal Verification of Object-O...
Paperback
Published 19 Jul 2012Save $5.82
- RRP $54.67
- $48.85
-
$14.64off
Verification of Object-Oriented...
Paperback
Published 03 Jan 2007Save $14.64
- RRP $123.03
- $108.39
-
$6.84off
Deductive Software Verification...
Paperback
Published 09 Dec 2020Save $6.84
- RRP $61.51
- $54.67
-
$9.40off
Electronic Voting Security and ...
Paperback
Published 02 Sep 2019Save $9.40
- RRP $68.35
- $58.95
-
$7.82off
Electronic Voting Security and ...
Paperback
Published 25 Sep 2020Save $7.82
- RRP $61.51
- $53.69
-
$11.84off
Formal Methods for Components a...
Paperback
Published 03 Jan 2013Save $11.84
- RRP $66.98
- $55.14
-
Deductive Software Verification...
Paperback
Published 24 Dec 2016